Issue2758.agda:16,15-18
Cannot instantiate the metavariable _x_10 to solution b
since (part of) the solution was created in an irrelevant context
when checking that the expression c _ has type Box Bool b
